$\forall$${\it es}$:ES, $e_{1}$:E, $e_{2}$:\{$e$:E$\mid$ loc($e$) = loc($e_{1}$) $\in$ Id\} . $\forall$$e$$\in$[$e_{1}$,$e_{2}$).False $\Leftarrow\!\Rightarrow$ $e_{2}$ $\leq$loc $e_{1}$